Conference Proceedings
String constraint solving: past, present and future
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey
24th European Conference on Artificial Intelligence, Proceedings | University of Santiago de Compostela | Published : 2020
DOI: 10.3233/FAIA200431
Abstract
String constraint solving is an important emerging field, given the ubiquity of strings over different fields such as formal analysis, automated testing, database query processing, and cybersecurity. This paper highlights the current state-of-the-art for string constraint solving, and identifies future challenges in this field.
Grants
Awarded by Australian Research Council (ARC)
Funding Acknowledgements
This work is supported by the Australian Research Council (ARC) through Linkage Project Grant LP140100437 and Discovery Early Career Researcher Award DE160100568.